Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
81	Developing Corpus-based Translation Methods between Informal and Formal Mathematics Cezary Kaliszyk (supported by FWF grant P26201), Josef Urban, Jiˇr´ı Vyskoˇcil, Herman Geuvers Goal Add to Reading List Source URL: mws.cs.ru.nl Language: English - Date: 2014-07-28 07:40:40 Mathematics Automated theorem proving Theoretical computer science Logic Formal methods Artificial intelligence Automated reasoning Reasoning Mathematical proof Theorem Mizar Parsing
82	PAAR-2010 Practical Aspects of Automated Reasoning Boris Konev, Renate Schmidt, and Stephan Schulz (eds Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2014-04-22 17:56:30
83	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
84	FORMAL VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS WITH AUTOMATED REASONING Add to Reading List Source URL: etheses.bham.ac.uk Language: English - Date: 2011-07-19 12:38:55
85	Educating LUCIE -- learning about every day activities from a robot perspective Anthony G (Tony) Cohn Professor of Automated Reasoning Director, Institute for Artificial Intelligence & Biological Systems Add to Reading List Source URL: icsr2014.org Language: English - Date: 2014-10-25 01:29:01
86	J Autom Reasoning:261–291 DOIs10817x Automated Proofs for Asymmetric Encryption J. Courant · M. Daubignard · C. Ene · P. Lafourcade · Y. Lakhnech Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2012-12-05 06:09:36
87	Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-09-02 07:29:36 Software Theoretical computer science Formal methods Automated theorem proving Logic in computer science Proof assistants Formal verification Automated reasoning KeY Prover9 Frama-C First-order logic
88	Meta-Logical Frameworks and Formal Digital Libraries ? Carsten Sch¨ urmann Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2005-08-10 11:35:47 Theoretical computer science Mathematical logic Logic in computer science Type theory Proof assistants Mathematics Automated theorem proving Isabelle Logical framework Twelf Formal methods Automated reasoning
89	Automated Reasoning and Program Verification ´ Laura Kovacs TU Vienna Outline Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2015-03-18 10:53:43
90	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Computing knowledge in security protocols under convergent equational theories S Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2011-08-02 11:02:31

UPDATE